Algebraic Approach to Algorithmic Logic
نویسندگان
چکیده
منابع مشابه
Algebraic Approach to Algorithmic Logic
We introduce algorithmic logic – an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined. Propositional calculus and quantifier calculus with equality are explored according to [24]. A language is introduced with language signa...
متن کاملAn Algebraic Approach to Dynamic Epistemic Logic
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary purpose is to communicate information from one agent to another. These actions are unable to alter the valuation of any proposition within the system. In fields such as security, it is easy to imagine situations in which...
متن کاملAlgebraic Approach to Causal Logic Programs
Answer Set Programming (ASP), a paradigm based on the stable model semantics, has become one of the most successful formalisms for knowledge representation in Artificial Intelligence. Causal logic programs are an extension of ASP whose goal is to reason about the causes that justify derived facts.
متن کاملAn Algebraic Approach to Temporal Logic
A b s t r a c t . The sequential calculus is an algebraic calculus, intended for reasoning about phenomena with a duration and their sequencing. It can be specialized to various domains used for reasoning about programs and systems, including Tarski's calculus of binary relations, Kleene's regular expressions, Hoare's CSP and Dijkstra's regularity calculus. In this paper we use the sequential c...
متن کاملAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2014
ISSN: 1898-9934
DOI: 10.2478/forma-2014-0025